Common Lisp - PDFSEARCH.IO - Document Search Engine

Common Lisp
Results: 482

#	Item
331	Free Component Library (FCL): Reference guide. Reference guide for FCL units. Document version 2.6 March 2014 Add to Reading List Source URL: gd.tuwien.ac.at Language: English - Date: 2014-03-14 05:06:29 Computing Verilog Common Lisp Object System Constant Software engineering Computer programming Hardware description languages
332	Package ‘R.methodsS3’ July 2, 2014 Version[removed]Depends R (>= [removed]Imports utils Date[removed] Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 10:14:52 Object-oriented programming Method Subroutines Generic function Common Lisp Object System Main function JavaScript Function Software engineering Computing Computer programming
333	Package ‘neuroim’ July 2, 2014 Imports Matrix, yaImpute, License GPL (>= 2) Maintainer Bradley Buchsbaum Title neuroim: R software for reading, writing and representing brain imaging data. Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 15:51:22 Computing Type theory Method Matrix Common Lisp Object System Class Constructor C++ classes Type signature Software engineering Computer programming Object-oriented programming
334	The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-04-08 21:19:27 Lisp programming language Functional languages Model theory ACL2 Automated theorem proving Nqthm First-order logic Common Lisp Lisp Computing Software engineering Computer programming
335	A verified runtime for a verified theorem prover Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK 2 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2011-05-23 22:30:57 Lisp programming language Functional languages Formal methods Logic in computer science Isabelle ACL2 Mathematical logic Nqthm Common Lisp Computing Software engineering Computer programming
336	14. September[removed]An informal description of OIL-Lite and Standard OIL: a layered proposal for DAML-O 9.1 Add to Reading List Source URL: xml.coverpages.org Language: English - Date: 2000-09-16 21:02:17 Knowledge representation Technical communication Information Science Knowledge engineering Ontology Common Lisp Object System Function Ontology components Semantic Web Mathematics Information science
337	Common Lisp Quick Reference Add to Reading List Source URL: www.cheat-sheets.org Language: English - Date: 2011-10-13 05:39:07 Functional languages Lisp programming language Procedural programming languages C++ Subroutines Common Lisp Main function Printf format string Lisp Software engineering Computing Computer programming
338	noaa�research: http://hotitems.oar.noaa.gov/storyPrint_org.php?sid=[removed]August, 2011 Add to Reading List Source URL: www.esrl.noaa.gov Language: English Meteorology Millennium Development Goals Atmospheric thermodynamics Planetary science Common Lisp Interface Manager Atmosphere of Earth Greenhouse gas Planetary atmospheres Atmospheric sciences Atmosphere
339	noaa research: New Insights into Plant Uptake of Carbonyl Sulf... http://hotitems.oar.noaa.gov/storyDetail_org.php?sid=5400 OAR hot items Add to Reading List Source URL: www.esrl.noaa.gov Language: English Greenhouse gases Botany Chemical oceanography Geochemistry Carbon dioxide Carbon cycle Common Lisp Interface Manager Carbonyl sulfide Chemistry Biology Photosynthesis
340	noaa�research: http://hotitems.oar.noaa.gov/storyPrint_org.php?sid=[removed]February, 2010 Add to Reading List Source URL: www.esrl.noaa.gov Language: English Ozone depletion Earth Atmospheric sciences Office of Oceanic and Atmospheric Research Ozone Common Lisp Interface Manager Cooperative Institute for Research in Environmental Sciences Greenhouse gas National Oceanic and Atmospheric Administration Environment Millennium Development Goals Oxygen

UPDATE